ALGEBRA II Prof
نویسنده
چکیده
منابع مشابه
HvMV-ALGEBRAS II
In this paper, we continue our study on HvMV-algebras. The quotient structure of an HvMV-algebra by a suitable types of congruences is studied and some properties and related results are given. Some homomorphism theorems are given, as well. Also, the fundamental HvMV-algebra and the direct product of a family of HvMV-algebras are investigated and some related results are obtained.
متن کاملThe Aluffi Algebra and Linearity Condition
The Aluffi algebra is an algebraic version of characteristic cycles in intersection theory which is an intermediate graded algebra between the symmetric algebra (naive blowup) and the Rees algebra (blowup). Let R be a commutative Noetherian ring and J ⊂I ideals of R. We say that J ⊂I satisfy linearity condition if the Aluffi algebra of I/J is isomorphic with the symmetric algebra. In this pa...
متن کاملMpqc: Massive Parallel Quantum Chemistry 1.2 Fock-matrix Construction
I am a first year CS graduate student researching high performance algorithms, applications, and architectures. I am currently mainly working with Prof James Demmel on parallel numerical linear algebra algorithms. In the past, I have worked at the Parallel Programming Labrotary at University of Illinois, where I was advised by Prof Laxmikant Kale and worked on the development of Charm++, Charm+...
متن کاملDually quasi-De Morgan Stone semi-Heyting algebras II. Regularity
This paper is the second of a two part series. In this Part, we prove, using the description of simples obtained in Part I, that the variety $mathbf{RDQDStSH_1}$ of regular dually quasi-De Morgan Stone semi-Heyting algebras of level 1 is the join of the variety generated by the twenty 3-element $mathbf{RDQDStSH_1}$-chains and the variety of dually quasi-De Morgan Boolean semi-Heyting algebras--...
متن کاملCurriculum vitae et studiorum
1) Semantics of Programming Languages II (Prof. Ugo Montanari); 2) Database Programming Languages (Prof. Antonio Albano, Prof. Giuseppe Castagna, Prof. V. Benzaken) (Bertinoro); 3) Mobility Languages (Davide Sangiorgi) (Bertinoro); 4) Petri Nets (Prof. G. Balbo) (Bertinoro); 5) Syntactic Rule Formats and Defining Higher-Order Languages (Prof. Karen Bernstein); 6) Applied Cryptography (Prof. Pao...
متن کامل